

a := a - b(7) and c - d;

